home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / db / esm-3.1 / esm-3 / usr / local / sm / src / serverlib / lm / checkUpgradeDeadlock.c < prev    next >
Encoding:
C/C++ Source or Header  |  1996-05-05  |  4.0 KB  |  145 lines
  1. /*
  2.  *   $RCSfile: checkUpgradeDeadlock.c,v $  
  3.  *   $Revision: 1.1.1.1 $  
  4.  *   $Date: 1996/05/04 21:55:51 $      
  5.  */ 
  6. /**********************************************************************
  7. * EXODUS Database Toolkit Software
  8. * Copyright (c) 1991 Computer Sciences Department, University of
  9. *                    Wisconsin -- Madison
  10. * All Rights Reserved.
  11. *
  12. * Permission to use, copy, modify and distribute this software and its
  13. * documentation is hereby granted, provided that both the copyright
  14. * notice and this permission notice appear in all copies of the
  15. * software, derivative works or modified versions, and any portions
  16. * thereof, and that both notices appear in supporting documentation.
  17. *
  18. * THE COMPUTER SCIENCES DEPARTMENT OF THE UNIVERSITY OF WISCONSIN --
  19. * MADISON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" CONDITION.  
  20. * THE DEPARTMENT DISCLAIMS ANY LIABILITY OF ANY KIND FOR ANY DAMAGES
  21. * WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
  22. *
  23. * The EXODUS Project Group requests users of this software to return 
  24. * any improvements or extensions that they make to:
  25. *
  26. *   EXODUS Project Group 
  27. *     c/o David J. DeWitt and Michael J. Carey
  28. *   Computer Sciences Department
  29. *   University of Wisconsin -- Madison
  30. *   Madison, WI 53706
  31. *
  32. *     or exodus@cs.wisc.edu
  33. *
  34. * In addition, the EXODUS Project Group requests that users grant the 
  35. * Computer Sciences Department rights to redistribute these changes.
  36. **********************************************************************/
  37.  
  38. #include "sysdefs.h"
  39. #include "ess.h"
  40. #include "checking.h"
  41. #include "trace.h"
  42. #include "error.h"
  43. #include "list.h"
  44. #include "pool.h"
  45. #include "tid.h"
  46. #include "io.h"
  47. #include "lock.h"
  48. #include "object.h"
  49. #include "msgdefs.h"
  50. #include "thread.h"
  51. #include "semaphore.h"
  52. #include "link.h"
  53. #include "lsn.h"
  54. #include "latch.h"
  55. #include "bf.h"
  56. #include "volume.h"
  57. #include "trans.h"
  58. #include "lm_intfuncs.h"
  59. #include "lm_extfuncs.h"
  60. #include "lock_globals.h"
  61.  
  62.  
  63.  int
  64. checkUpgradeDeadlock (
  65.  
  66.     register LOCKHEADER    *lockHeader,
  67.     register LOCKMODE    heldMode,
  68.     register LOCKMODE    requestMode 
  69. )
  70. {
  71.  
  72.     register LOCKENTRY    *upgradeEntry;
  73.     register LOCKENTRY    *lockEntry;
  74.  
  75.  
  76.     TRPRINT(TR_LOCK, TR_LEVEL_1, ("heldMode:%s requestMode:%s",
  77.             GETMODE(heldMode), GETMODE(requestMode)));
  78.  
  79.     /*
  80.      *    Get a pointer to the bucket
  81.      */
  82.     upgradeEntry = (LOCKENTRY *) FIRST_LIST_ELEMENT( &(lockHeader->upgradeList) );
  83.  
  84.     /*
  85.      *    search down the list
  86.      */
  87.     while (upgradeEntry != NULL)    {
  88.  
  89.         TRPRINT(TR_LOCK, TR_LEVEL_2, ("looking at tid:%x",
  90.                 GETTID(upgradeEntry->headerList.transRec)));
  91.  
  92.         /*
  93.          *    check the entry magic number
  94.          */
  95.         CHECK_LOCKENTRY_MAGIC(upgradeEntry);
  96.  
  97.         /*
  98.          *    check to see if the requested mode by waiting upgrader is
  99.          *    compatible with the mode held by new upgrader
  100.          */
  101.         if (!LM_Compat[heldMode][upgradeEntry->lockMode])    {
  102.  
  103.             TRPRINT(TR_LOCK, TR_LEVEL_2, ("not compatible:%s",
  104.                     GETMODE(upgradeEntry->lockMode)));
  105.  
  106.             /*
  107.              *    get a pointer to the granted record of the upgrader
  108.              */
  109.             lockEntry = (LOCKENTRY *) upgradeEntry->lockHeader;
  110.             CHECK_LOCKENTRY_MAGIC(lockEntry);
  111.  
  112.             /*
  113.              *    check to see if the mode requested by new upgrader is
  114.              *    compatible with the mode held by the waiting upgrader
  115.              */
  116.             if (!LM_Compat[lockEntry->lockMode][requestMode])    {
  117.             
  118.                 TRPRINT(TR_LOCK, TR_LEVEL_2, ("not compatible:%s",
  119.                         GETMODE(lockEntry->lockMode)));
  120.                 fprintf(sm_ErrorStream, "SERVER: deadlock detected (due to lock upgrades) -- aborting a transaction.\n");
  121.                 fprintf(sm_ErrorStream, "  Deadlock from lock upgrades with transaction %d on lock %s\n",
  122.                        lockEntry->headerList.transRec->tid,
  123.                        printLockId(lockHeader->hashList.lockid)); 
  124.  
  125.                 SM_ERROR(TYPE_USER, esmLOCKCAUSEDDEADLOCK);
  126.                 return(TRUE);
  127.             }
  128.         }
  129.  
  130.         /*
  131.          *    look at the next element in the list
  132.          */
  133.         upgradeEntry = (LOCKENTRY *) NEXT_LIST_ELEMENT( &(upgradeEntry->headerList.list) );
  134.     }
  135.  
  136.     /*
  137.      *    if we are here we all locks are compatible
  138.      */
  139.     TRPRINT(TR_LOCK, TR_LEVEL_2, ("all locks compatible"));
  140.     /*
  141.      * MJZ: 6-22-90 (change from true to false)
  142.      */
  143.     return(FALSE);
  144. }
  145.